ارایه متامدلی جدید برای معماری سرویس گراواعتبارسنجی آن

با توجه به کاربرد روزافزون معماری سرویس گرا در پیاده سازی سیستم ها و اهمیت وجود روش ها و ابزارهای خاص این معماری، محققان اقدام به ارایه روش های اجرایی و متدولوژی های خاص این معماری کردند. طی تجربیات به دست آمده، به کارگیری روش های اجرایی عمومی و متدولوژی های موجود، در توسعه راه حل های سرویس گرا چندان نتیجه مناسبی در پی نداشته است و برخی از محققان اقدام به تعریف روش های اجرایی و متدولوژی نمودند که برخی از آن ها از متدولوژی های موجود نیز استفاده کرده اند. مدلسازی سیستم از جمله مواردی است که در متدولوژی ها ارایه شده، به اندازه کافی مورد توجه قرار گرفته نشده است. مدل توصیف کننده کلیه جوانب ساختاری و رفتاری یک سیستم است. با استفاده از مدل های اطلاعاتی، می توان به جای صرف هزینه، انرژی و زمان به جزییات پیاده سازی سیستم در بستر پیاده سازی، بر کلیات و مباحث راهبردی تمرکز داشت. از معماری های موجود در زمینه توسعه سیستم ها، معماری مدل گرا است که با گرایش به مدلسازی می تواند روند توسعه راه حل های سرویس گرا را بهبود دهد. با توجه به اهمیت مدلسازی، تحقیق پیش رو با هدف استفاده از معماری مدل گرا در توسعه سیستم های سرویس گرا به عنوان روش اجرایی و تهیه یک متامدل کارآمد شکل گرفت که پیچیدگی ها و ابهامات فعالیت های قبلی را پوشش داده و از مفاهیمی چون همنواسازی سرویس ها ، هم آوایی سرویس ها و ثبت کننده سرویس به صورت کامل ابهام زدایی می کند. از دیگر نوآوری های انجام شده در این تحقیق استفاده از زبان alloy به عنوان یک زبان مدلسازی و نرم افزار alloy analyzer به عنوان ابزار، در جهت راستی آزمایی و اعتبارسنجی متامدل پیشنهاد شده، است.